Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

Model of optimization of mining complex for the planning of flow of quarry production of limestone in multiple products and with elements for the analysis of the capacity

Activities in mining complexes contain multiple decisions that affect the operations of the system for the extraction, transformation, transport and storage of various subsoil components. The purpose of this research is the planning of continuous flow production systems for mixed products, in non-metallic mining extraction processes, considering bottlenecks and capacity planning. This paper presents a model for production, based on mathematical optimization, that facilitates the planning and management of operations in the area of extraction, crushing and transformation of a quarry of aggregates for construction, considering the resources and the constraints that allow to define effective strategies in the increase of the productivity of the lines of low production environment by scenarios. This research develops an analysis of bottlenecks and contrasts the nature of the production system by means of a mathematical model of optimization, which considers the capacities and balances in the flows of the Limestone production line. The mathematical model that maximizes profits can be adapted to systems of continuous flow production in mining complexes where their products are part of a reverse logistics process, analysis of alternatives of extraction, transformation and transport

Formal semantics of enterprise models

The paper provides a summary of the discussions held in a working group during ICEIMT Workshop 4 (Enterprise Integration Principles and Fundamentals). The topic of the working group was "Formal Semantics of Enterprise Models". In the paper, we suggest that enterprise integration is currently hindered by shortcomings of enterprise modelling languages (section 1), that a better language should be defined and that its semantics should be defined in terms of a formal theory (section 2). The paper concludes with two proposals for research and standardisation projects (section 3)